\enableregime[utf]
\mainlanguage[cz]
\setuppapersize[S6][S6]
\setupcolors
   [state=start]
\setuphead
   [subject]
   [command=\indigo]
\setupbodyfont
   [ss,14pt]

\definecolor
   [indigo]
   [r=.0, g=.0, b=.5]
\setuplayout[header=0pt,topspace=0.6cm,footer=0pt]

\setuphead[subject][style={\ss\bfc },
  before={ \begingroup \setupbodyfont[20pt]},
  after={ \endgroup}]



\setuppagenumbering[state=stop]
\starttext
\page[empty]
\midaligned{\subject{Konzistenční techniky}}
\useexternalfigure[CP1][../images/cp1.pdf][width=0.5\textwidth]
\useexternalfigure[CP2][../images/cp2.pdf][width=0.5\textwidth]
\placefigure
  [here,force]
  [fig:CP]
  {Zadání problému a následná propagace podmínek.}
{\startcombination[2*1]
    {\externalfigure[CP1]}   {CSP reprezentovaný grafem obsahující proměnné s~jejich doménami a
  omezujícími podmínkami.}
    {\externalfigure[CP2]} {Propagace omezujících podmínek.}

  \stopcombination
}
\page
\midaligned{
\subject{Hranová a vrcholová konzistence}}
\definedescription[definition][headstyle=bold,width=broad,location=hanging]
\definition{Vrcholová konzistence}
Vrchol reprezentující proměnnou $X$ je {\it vrcholově konzistentní (node consistent)}, právě když
každá hodnota z~aktuální domény $D_x$ splňuje všechny unární podmínky na $X$.\crlf
CSP je {\it vrcholově konzistentní} právě tehdy, když je každý vrchol
vrcholově konzistentní.\par


\definition{Hranová konzistence}
Hrana $(V_i,V_j)$ je {\it hranově konzistentní (arc consistent)}, právě
když pro každou hodnotu $x$ z~aktuální domény $D_i$ existuje hodnota $y$
v~aktuální doméně $D_j$ tak, že ohodnocení  $V_i =x \mbox{ a } V_j=y$
splňuje všechny binární podmínky nad $V_i \mbox{, } V_j$. \crlf
CSP je {\it hranově konzistentní}, právě když je každá jeho hrana
$(V_i,V_j)$ hranově konzistentní (v~obou směrech).\par
\useexternalfigure[nonAC][../images/nonArcConsistency.pdf][width=0.35\textwidth]
\useexternalfigure[AC][../images/ArcConsistency.pdf][width=0.35\textwidth]
\midaligned{\startcombination[2*1]
    {\externalfigure[nonAC]}   {Hranově nekonzistentní CSP. }
    {\externalfigure[AC]} {Hranově konzistentní CSP.}
  \stopcombination
}
\page
\midaligned{\subject{Prohledávací algoritmy }}
\useexternalfigure
  [DFS][../images/graph-dfs.pdf]
  [width=.7\textwidth]
\placefigure[here,force][fig:DFS]{DFS prochází postupně celou větev z~kořene stromu a pokud nenarazí na řešení provádí backtracking.}
{\externalfigure[DFS]}
\useexternalfigure
  [LDS][../images/graph-lds.pdf]
  [width=.7\textwidth]
\placefigure[here,force][fig:LDS]{LDS prochází nejdříve větve s~nejmenším počtem
diskrepancí a upřednostňuje větve, kde je diskrepance blíže kořenu
	stromu.}
{\externalfigure[LDS]}



\useexternalfigure
  [OPENSHOP][../images/openshop-example.pdf]
  [width=.5\textwidth]
\useexternalfigure
  [FLOWSHOP][../images/flowshop-example.pdf]
  [width=.5\textwidth]
\useexternalfigure
  [JOBSHOP][../images/jobshop-example.pdf]
  [width=.5\textwidth]

%\page
%\midaligned{\subject{Job-shop}}
%\placeformula \startformula \startalign[n=4]
%\NC  {\bf p} \NC  = \left[\matrix{ 1 & 3  \cr 2 & 4 \cr} \right]  \NR
%\NC {\bf r}  \NC = \left[\matrix{ 2 & 1 \cr  1& 2 \cr} \right] \NC  \NR 
%\stopalign \stopformula
%\midaligned{\externalfigure[JOBSHOP]}
%
%
%\page
%\midaligned{\subject{Flow-shop}}
%\placeformula \startformula \startalign[n=4]
%\NC  {\bf p} \NC  = \left[\matrix{ 1 & 3  \cr 2 & 4 \cr} \right]
%\NR
%\NC {\bf r}  \NC = \left[\matrix{ 2 & 1 \cr} \right] \NC  \NR 
%\stopalign \stopformula

%\midaligned{\externalfigure[FLOWSHOP]}
%
%\page
%5\midaligned{\subject{Open-shop}}
%\placeformula \startformula \startalign[n=4]
%\NC  {\bf p} \NC  = \left[\matrix{ 1 & 3  \cr 2 & 4 \cr} \right]
%\NR
%\NC {\bf r}  \NC = \left[\matrix{ 2 & 1 \cr} \right] \NC  \NR 
%\stopalign \stopformula
%\midaligned{\externalfigure[OPENSHOP]}
\page
\midaligned{\subject{Time lags}}


\startformula
s_A + d_{AB} \leq s_B
\stopformula
%\placefigure
%  [here,force]
%  [fig:timeLags]
%  {}

\midaligned{\startcombination[2*1]
    {\externalfigure[../images/positiveTimeLags]}   {Positive time lag.}
    {\externalfigure[../images/negativeTimeLags]} {Negative time lag.}
  \stopcombination
}


\stoptext
